prove sin(3x)